241. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
242. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: W. Rance Cleaveland )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1579
243. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Author: Bernhard Steffen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1384
244. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
245. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Nicolas Halbwachs, Lenore D. Zuck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3440
246. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
Author: Joost-Pieter Katoen, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2280
247. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Tiziana Margaria, Wang Yi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2031
248. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Kurt Jensen, Andreas Podelski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2988
249. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
Author: Hubert Garavel, John Hatcliff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2619
250. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
251. UML 2004
Author: / Thomas Baar ... [et al.] (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2004
252. UML 2004 :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses ; UML (Computer science) ; Congresses ;
253. UML 2004
Author: / Thomas Baar ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,UML (Computer science)--Congresses
Classification :
QA
,
76
.
76
,.
D47
,
U45
,
2004
254. UML modeling languages and applications
Author: / Nuno Jardim Nunes ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Modeling languages (Computer science),Computer software--Development--Congresses.,UML (Computer science)--Congresses.
Classification :
QA76
.
76
.
D47
U45
2004
255. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
Author: Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2460
256. UML 2003-the unified modeling language
Author: / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2003
257. UML 2003-the unified modeling language
Author: / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2003
258. UML 2000--the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings
Author: Andy Evans, Stuart Kent )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
1939
259. UML 2003-the unified modeling language : modeling languages and applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings
Author: Perdita Stevens, Jon Whittle, Grady Booch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2863
260. <UML> 2001- the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Author: Martin Gogolla, Cris Kobryn )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2185
